In this paper we examine the idea of beatitudo in Duns Scotus. We begin with the Quaestiones super libros metaphysicorum, where the Doctor Subtilis presents a conception of the act of intellective knowledge through the natural meaning of beatitude. Taking up the famous incipit of the Metaphysics, Duns Scotus develops the idea of a maximum desiderium and a maxima scientia as a way of human and natural perfection. In conceiving this desiderium naturale as form of ultimate realization, he sees it (...) as similar to the knowledge of immaterial substances in statu viae. His definition of beatitudo also disagrees with the Thomist doctrine, developing it a priori as a cognitio intuitiva, making it possible for humans to achieve happiness in statu viae. In contrast, in Ordinatio IV, dist. 49, Scotus emphasizes the value of beatitude in its ethical and theological sense, taking recourse to the Augustinian and Boethian definitions in order to understand its nature as the full expression of the intellective, volitional a... (shrink)

O objectivo deste nosso breve estudo sobre o texto de Eduardo Soveral “Análises gnosiológicas” é o de avaliar a originalidade e o valor da reflexão do professor portuense, no âmbito do pensamento português contemporâneo. Notamos, por um lado, que a sua abordagem gnosiológica é o ponto de partida para uma fundamentação do saber, relativamente às várias áreas disciplinares da filosofia. Por outro, constatamos também que a sua reflexão toma como modelo de especulação filosófica e gnosiológica o seu mestre e professor (...) conimbricense Arnaldo de Miranda Barbosa, com o qual Eduardo Soveral manterá um vivo e aceso debate ao longo da sua actividade filosófica e de docência na Faculdade de Letras da Universidade do Porto. (shrink)

IntroductionIncorporating technology in cognitive interventions represents an innovation, making them more accessible, flexible, and cost-effective. This will not be feasible without adequate user-technology fit. Bearing in mind the importance of developing cognitive interventions whose technology is appropriate for elderly people with cognitive impairment, the objective of this systematic review was to find evidence about usability and user experience measurements and features of stimulation, training, and cognitive rehabilitation technologies for older adults with mild cognitive impairment or dementia.MethodThe Medline, PubMed, Scopus, ScienceDirect, (...) and PsycINFO databases were searched for literature published in the last 10 years, and three researchers independently reviewed potentially eligible studies, following specific inclusion criteria. A systematic review of the studies was conducted, presenting a qualitative synthesis of usability and UX measures with their outcomes, study characteristics and features of the cognitive intervention technologies.ResultsTen studies were selected: five were cognitive stimulation and five were cognitive training. Most of them were computer-based programs with a serious game format. Efficiency and effectiveness were the most frequent measurements used for collecting objective usability data, showing that elderly people with cognitive impairment require more time and help but can complete tasks. Regarding UX or subjective usability data, questionnaires and scales were the most used methods, reporting positive experience despite certain difficulties with the interface in five studies.ConclusionMeasuring usability and UX in cognitive intervention technologies for older adults with MCI or dementia provides an integrated view that can contribute to their development according to the needs and characteristics of the target population. More research is required to include this population group in usability and UX studies, as well as standardized tools and consensus on the relationship of these terms to guarantee the future effectiveness of cognitive intervention technologies.Review registrationThis review was registered in the PROSPERO International Register of Systematic Review Protocols. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

Se proponen tres ejemplos históricos para mostrar cómo la religión, en la forma del cristianismo católico, ha promovido el avance de la filosofía moral o la filosofía social. Frente a posiciones que entienden que la religión tiene como función principal la conservación del status quo de una sociedad en particular (Marx o Durkheim) estos casos notables muestran que más bien es al contrario: las motivaciones religiosas han provocado cambios en la forma de pensar que inevitablemente implican cambios en el modo (...) de vida (Weber). Elegimos tres autores ligados por la época y el espacio (Siglo de oro español) y la religión (cristianismo católico). Juan Luis Vives propuso desde la filosofía cristiana que inspira todo su trabajo una asistencia regular y organizada a los pobres, que andando el tiempo se convertiría en la asistencia social contemporánea. Francisco de Vitoria, reflexionando sobre las causas de la guerra justa, los títulos de conquista o esclavitud, sentó las bases del derecho internacional al margen de la imposición violenta. Juan de Mariana hizo una reflexión política limitando tanto el poder del emperador que incluso sugirió la posibilidad del tiranicidio en caso de necesidad. Estos tres autores nos muestran que, aunque la religión continúa jugando un papel importante en la transmisión del estado de cosas, también ejerce una influencia que permite la evolución en las costumbres y, en consecuencia, en la reflexión ética. (shrink)

The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the (...) object language. Finally, we provide a proof system and a (constructive) proof of completeness. (shrink)

Background: Frailty is a common syndrome among older adults and patients with several comorbidities. Grip strength is a representative parameter of frailty because it is a valid indicator of current and long-term physical conditions in the general population and patients with severe mental illnesses. Physical and cognitive capacities of people with SMIs are usually impaired; however, their relationship with frailty or social functioning have not been studied to date. The current study aimed to determine if GS is a valid predictor (...) of changes in cognitive performance and social functioning in patients with type-2 diabetes mellitus and SMIs. Methods: Assessments of social functioning, cognitive performance, and GS were conducted in 30 outpatients with type 2 diabetes mellitus, 35 with major depressive disorder, 42 with bipolar disorder, 30 with schizophrenia, and 28 healthy controls, twice during 1-year, follow-up period. Descriptive analyses were conducted using a one-way analysis of variance for continuous variables and the chi-squared test for categorical variables. Differences between groups for the motor, cognitive, and social variables at T1 and T2 were assessed using a one-way analysis of covariance, with sex and age as co-variates. To test the predictive capacity of GS at baseline to explain the variance in cognitive performance and social functioning at T2, a linear regression analysis was performed. Results: Predictive relationships were found among GS when implicated with clinical, cognitive, and social variables. These relationships explained changes in cognitive performance after one year of follow-up; the variability percentage was 67.7%, in patients with type-2 diabetes mellitus and 89.1% in patients with schizophrenia. Baseline GS along with other variables, also predicted changes in social functioning in major depressive disorder, bipolar disorder, and schizophrenia, with variability percentages of 67.3, 36, and 59%, respectively. Conclusion: GS combined with other variables significantly predicted changes in cognitive performance and social functioning in people with SMIs or type-2 diabetes mellitus. Interventions aimed to improve the overall physical conditions of patients who have poor GS could be a therapeutic option that confers positive effects on cognitive performance and social functioning. (shrink)

El humanismo contemporáneo se enfrenta al relativismo epistemológico. Si no hay una noción clara de verdad, tampoco puede haberla de la verdad del ser humano. Buscando en la tradición filosófica, nos proponemos indagar en la obra de tres referentes para el tema de la verdad: Platón, San Agustín y San Anselmo. A los tres les une un aire de familia; a la evidente relación entre San Agustín y San Anselmo se le une el hecho de que ambos bebieron de las (...) fuentes de Platón y que Platón además fue el primer filósofo pagano en impactar significativamente en la teología cristiana. El Protágoras de Platón, el Contra Académicos de San Agustín y el De veritate de San Anselmo son tres obras unidas por una misma intención temática: la búsqueda de la verdad en todos los ámbitos de la existencia frente al desafío relativista; y por una misma forma literaria: el diálogo. Así pues, tres diálogos de tres maestros hablando sobre la verdad pueden ser una magnífica ocasión para oponer un dique a las habladurías, la curiosidad y la ambigüedad en la reflexión referida al ser humano. (shrink)

Este trabajo es una aproximación a la labor desarrollado por el arzobispo sevillano con vistas a la formación permanente del clero. Se analiza la figura de Spínola, la organización de las cátedras eclesiásticas, la junta directiva diocesana, la organización de las instituciones de estudio en el arciprestazgo y los temas tratados en las mismas. Se estudian los modelos de estas conferencias en cuatro instituciones: San Bartolomé y San Román en Sevilla, Écija y El Puerto de Santa María. Finalmente, se ofrecen (...) algunas conclusiones. (shrink)

The present study aims to verify the psychometric properties of the Spanish versions of the Social Roles Questionnaire (SRQ; Baber & Tucker, 2006), Modern Sexism scale (MS) and Old-fashioned Sexism scale (OFS; Swim et al. Swim & Cohen, 1997). Enough support was found to maintain the original factor structure of all instruments in their Spanish version. Differences between men and women in the scores are commented on, mainly because certain sexist attitudes have been overcome with greater success in the current (...) Spanish society, while other issues, such as distribution of power in organizational hierarchies or distribution of tasks in the household, where traditional unequal positions are still maintained. In all cases, it was found that men showed greater support for sexist attitudes. The correlations between the three instruments were as expected in assessing sexist attitudes that tend to relate to each other. Eventually, we found no empirical evidence for the postulated link between sexist attitudes and traditional gender stereotypes. Our results call for the validity and effectiveness of the classic theories of gender psychology, such as gender schema theories (Well, 1981; Markus et al., 1982) and the notion of a gender belief system (Deaux & Kite, 1987; 2001). (shrink)

Historians and philosophers of science generally conceptualize scientific progress to be dichotomous, viz., experimental observations lead to scientific laws, which later facilitate the elaboration of explanatory theories. There is considerable controversy in the literature with respect to Mendeleev’s contribution to the origin, nature, and development of the periodic table. The objectives of this study are to explore and reconstruct: a) periodicity in the periodic table as a function of atomic theory; b) role of predictions in scientific theories and its implications (...) for the periodic table; and c) Mendeleev’s contribution: theory or an empirical law? The reconstruction shows that despite Mendeleev’s own ambivalence, periodicity of properties of chemical elements in the periodic table can be attributed to the atomic theory. It is argued that based on the Lakatosian framework, predictions play an important role in the development of scientific theories. In this context, Mendeleev’s predictions played a crucial role in the development of the periodic table. Finally, it is concluded that Mendeleev’s contribution can be considered as an “interpretative” theory which became “explanatory” after the periodic table was based on atomic numbers.Author Keywords: Periodic table; Mendeleev’s contribution; Theory; Empirical law; Interpretative theory. (shrink)

RésuméĽauteur commence par un bref diagnostic des tendances les plus notoires de ľépistémologie contemporaine, qui trouve dans ľopérationnalisme fonctionnaliste une ≫reponse≪ au paradoxe ?une connaissance construite par transformation de ľobjet et elle relève les indications ≫thérapeutiques≪ qui se trouvent déja dans ľépistémologie de Gonseth, selon lesquelles il sera possible de réintégrer ľidée ?objectivité et de vérité dans la connaissance. En trois aspects: dans le domaine de la méthodologie épistémologique – elle montre que Gonseth s'est aperçu de la valeur propédeutique ?une (...) gnoséologie scientifique, comme condition de base ?un abord cohérent de ľépistémologie . Dans le champ de la gnoséologie , elle montre que la coloration empiriste que Piaget a regretée dans les schémas gonséthiens, selon lui trop ouverts à un contact actuel et extérieur avec ľobjet, fournit, après tout, une indication aujourdi'hui précieuse pour contrebalancer les exagérations opposées ?une gnoséologie qui fait, de ľautoréférence et de la clôture du sujet, ľune des justifications de ľimpossibilité de fonder objectivement la connaissance. Finalement, elle considère que, dans le champ ?une lecture philosophique des sciences, le relativisme dialectique de Gonseth récupere la valeur pragmatique et ?objectivité≫circonscrite≪ de la connaissance, sans pour autant abandonner ľidée ?une progression en objectivité.SummaryThe author begins with a consideration of well‐known trends of contemporary epistemology, which finds in functionalist operationalism a ‘response’ to the paradox of knowledge achieved by transformation of the object . The author goes on to note the ‘therapeutic’ indications already available in the epistemology of Gonseth, which make it possible to reintegrate the idea of objectivity and of truth into knowledge. This is done in three respects. In epistemological methodology, it is shown that Gonseth was aware of the preparatory value of a scientific gnoseology as the fundamental condition for a coherent approach to epistemology . In gnoseology , it is shown that the empirical aspect of Gonseth's schemes, which Piaget found regrettable as being too open to immediate and exterior contact with the object, does after all provide an indication that is invaluable in offsetting the opposing exaggerations of a gnoseology that makes the self‐reference and closedness of the subject one of the justifications for the impossibility of founding knowledge objectively. Finally, it is held that, on a philosophical reading of the sciences, the dialectical relativism of Gonseth recovers the pragmatic value and the value of ‘circumscribed’ objectivity of knowledge, without in so doing giving up the idea of an increase in objectivity. (shrink)

El 24 de marzo de 2016, por medio de la Resolución del Consejo de Ministros n. 21/2016, el Gobierno de Portugal, a través del Ministerio de Ciencia, Tecnología y Educación Superior, anunció el compromiso de la ciencia con los principios y prácticas de Ciencia abierta. La misma resolución obligó al MCTES a crear un Grupo de Trabajo Interministerial con la misión de presentar una propuesta de Plan Estratégico para la implementación de una Política Nacional de Ciencia Abierta. El grupo de (...) trabajo incluyó cuatro subgrupos: acceso abierto y datos abiertos, infraestructura y preservación digital, evaluación científica y responsabilidad social. En este artículo se presenta el conjunto de recomendaciones que el subgrupo de evaluación científica, en articulación con los demás, considera fundamentales para la implementación de prácticas de ciencia abierta, dirigidas a los agentes políticos, así como a las entidades productoras, evaluadoras y financiadoras de la ciencia. [pt] Em 24 de março de 2016, através da Resolução do Conselho de Ministros nº 21/2016, o Governo de Portugal, através do Ministério da Ciência, Tecnologia e Ensino Superior, anunciou o compromisso da ciência com os princípios e práticas da ciência aberta. A mesma resolução mandata o MCTES a criar um grupo de trabalhointerministerial com a missão de apresentar uma proposta de Plano Estratégico para a implementação de uma Política Nacional de Ciência Aberta. O grupo de trabalho incluiu quatro subgrupos - acesso aberto e dados abertos, infraestruturas e preservação digital, avaliação científica e responsabilidade social científica. Neste artigo apresenta-se o conjunto de recomendações que o subgrupo de avaliação científica, em articulação com os restantes, entende serem fundamentais para a implementação de práticas de ciência aberta dirigindo-se a agentes políticos, bem como a entidades produtoras, avaliadoras e financiadoras de ciência. (shrink)

An integral subresiduated lattice ordered commutative monoid (or integral srl-monoid for short) is a pair \(({\textbf {A}},Q)\) where \({\textbf {A}}=(A,\wedge,\vee,\cdot,1)\) is a lattice ordered commutative monoid, 1 is the greatest element of the lattice \((A,\wedge,\vee )\) and _Q_ is a subalgebra of _A_ such that for each \(a,b\in A\) the set \(\{q \in Q: a \cdot q \le b\}\) has maximum, which will be denoted by \(a\rightarrow b\). The integral srl-monoids can be regarded as algebras \((A,\wedge,\vee,\cdot,\rightarrow,1)\) of type (2, 2, (...) 2, 2, 0). Furthermore, this class of algebras is a variety which properly contains the varieties of integral commutative residuated lattices and subresiduated lattices respectively. In this paper we study the quasivariety of \(\{\wedge,\cdot,\rightarrow,1\}\) -subreducts of integral srl-monoids, which will be denoted by \(\mathsf {SR^s}\). In particular, we show that \(\mathsf {SR^s}\) is a variety. We also characterize simple and subdirectly irreducible algebras of \(\mathsf {SR^s}\) respectively. Finally, through a Hilbert style system, we present a logic which has as algebraic semantics the variety \(\mathsf {SR^s}\) and we apply this result in order to present an expansion of the previous logic which has as algebraic semantics the variety of integral srl-monoids. (shrink)

Nowadays, there is a quite considerable amount of literature on the use of analogy or more generally of inferences by parallel reasoning in contemporary legal reasoning, and particularly so within Common Law. These studies are often motivated by researches in artificial intelligence seeking to develop suitable software-support for legal reasoning. Recently; Rahman/Iqbal/Soufi (2020) developed a dialogical approach in the framework of Constructive Type Theory to what in Islamic Jurisprudence was called qiyās or correlational inferences. In their last chapter the authors (...) suggested that such an approach contributes to the study of patterns of reasoning by precedent cases within contemporary common Law. In the present paper we will further motivate the deployment within Civil and Common Law of the dialogical framework developed in Rahman/Iqbal/Soufi (2020). After a presentation of Scott Brewer's take on analogy within Common Law, that has striking structural similarities to reasoning by precedent case rooted in ratio legis (known in Islamic Jurisprudence as qiyās al-'illa or correlational inference by the occasioning factor), we will illustrate the implementation of the framework with a brief discussion of some cases of legal reasoning based in Spanish Civil Law but where the accent is put in the emerging ruling rather than in the existing of a case as in Common Law. Moreover; quite surprisingly, the case under study suggests that even cases of Law-interpretation fit the argumentation pattern of qiyās al-'illa. A caveat: in the present paper we will focus mainly in discussing the dynamics of the meaning constitution involved rather than in setting the rules of the underlying dialogical framework, the latter is the subject of a follow-up paper. (shrink)

Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its subvarieties. In particular, we prove that the category of dually hemimorphic semi-Heyting algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. We also study the lattice of congruences of a dually hemimorphic semi-Nelson algebra through some of its deductive systems.

It is unknown whether hospital-based medical professionals in Spain educate patients about advance directives. The objective of this research was to determine the frequency of hospital-based physicians’ and nurses’ engagement in AD discussions in the hospital and which patient populations merit such efforts. A short question-and-answer-based survey of physicians and nurses taking care of inpatients was conducted at a university hospital in Madrid, Spain. In total, 283 surveys were collected from medical professionals, of whom 71 per cent were female, with (...) an average age of thirty-four years. Eighty-four per cent had never educated patients about ADs because of lack of perceived responsibility, time, or general knowledge of ADs. Patient populations that warranted AD discussions included those with terminal illnesses, chronic diseases, and elderly patients. Regarding degree of AD understanding in medical professionals: 57 per cent of medical professionals claimed sufficient general knowledge of ADs, 19 per cent understood particulars regarding AD document creation, and 16 per cent were aware of AD regulatory policies. Engagement in AD discussions was considered important by 83 per cent of medical professionals, with 79 per cent interested in participating in such discussions themselves. The majority of hospital physicians and nurses do not educate their patients about ADs, despite acknowledging their importance. Patient populations of highest priority included those with terminal diseases or chronic illness or who are of advanced age. (shrink)

In this chapter, we recount some of the most pressing objections to character scepticism, pointing out their limitations and, when appropriate, incorporating their suggestions. From here, we consider what empirically informed moral improvement might look like by turning to the skill analogy. While the skill analogy provides a realistic rubric for becoming a better person, many of the questions concerning the details of how moral improvement might take place remain unanswered. When developing expertise in domains like chess and morality, a (...) wide range of factors will likely be important and it is unlikely than any one individual factor will be especially important. Given this, for any account of moral improvement, our optimism should be bounded: the effect of any particular intervention is likely to be limited, in both magnitude and domain. Lastly, we consider how character scepticism has reshaped the way we think about moral responsibility, whether this is cashed out in reasons-responsiveness or self-expression accounts. While both views face challenges, by distinguishing the possession of the responsibility-making feature from failures to manifest that property in behaviour, we gain a certain degree of wiggle room that allows us to accommodate empirical findings while holding on to notions of responsibility. This chapter highlights that the ‘person-situationism debate’ has expanded far beyond its beginnings, giving way to new accounts of moral improvement and moral responsibility. (shrink)

This paper considers Cicero's political and legal philosophy, focussing on the ciceronian concepts of republic, law and virtue, on which Cicero's systematic construction of the State and the Right rests.

This paper analyses the way in which discourse and argumentation may vary depending on participants’ educational level and gender. Men and women from three different educational levels (literacy, advanced level and university students) participated in discussion groups that debated about women and work, the sharing of housework and the way in which girls and boys are educated. The results showed important differences depending on participants’ educational level and gender. In general, the main differences were related to educational level, while gender (...) tended to interact with educational level, as a moderating factor. (shrink)

Zaratustra e o fracasso pedagógico 1 Resumo: O presente texto toma o Prólogo da obra Assim Falou Zaratustra, precisamente, aquilo que se pode chamar de fracasso pedagógico. O argumento é que Zaratustra não fracassa ao dialogar com o povo na praça do mercado, mas faz desse encontro o seu primeiro ato fundamental de formação e aprendizado. Palavras-chave: Zaratustra; Formação; Fracasso Pedagógico. Zaratustra y el fracaso pegagogico 1 Resumen: El presente texto toma el prólogo de la obra Así habló Zaratustra, precisamente, (...) lo que podría llamarse el fracaso pedagogico. El argumento es que Zaratustra no fracasa deja de diálogo con las personas en la plaza del mercado, pero este encuentro su primer acto fundamental de la formación y el aprendizaje. Palabras clave: Zaratustra; Formación; El fracaso pedagógico. Zarathustra and the pedagogical failure 1: The following text takes the prologue of Thus Spoke Zarathustra, precisely, that which may be called a pedagogical failure. The argument herein is that Zarathustra does not fail when he dialogues with people in the market square; instead he turns this encounter into his first fundamental act of formation and learning. Keywords : Zarathustra; Formation; Pedagogical Failure Data de registro: 30/01/2020 Data de aceite: 27/05/2020 [1] 'Pedagógico é relativo à pedagogia, que tem como etimologia gr. Paidagõgía, direção ou educação da criança. Do lat. Paedagõga, lei que serve de guia'. Contudo, gostaria de enfatizar que o termo "pedagógico" não será entendido neste trabalho como um conjunto de métodos, de direção, de técnicas de ensino e de condução. A sua utilização demanda, neste estudo, sentidos de criação, tornar-se, superar-se, ou seja, constituir-se. Dessa maneira, inspira uma perspectiva formativa. É assim que este termo pode ser lido neste texto, ou seja, toma uma leitura diferenciada do que seja a sua própria etimologia. (shrink)